@Comment{AUXFILE of V2.MSS by Scribe 3B(1134) on 29 January 1983 at 16:03}
@AuxLabel{ABVALUES=(4;1;V2.MSS, 05700/9)}
@AuxLabel{AIFFB-TABLEAU=(6;2;V2.MSS, 03800/15)}
@AuxLabel{ANALYSIS=(4;3;V2.MSS, 01900/10)}
@AuxLabel{ANALYSIS4=(6;4;V2.MSS, 00400/16)}
@AuxLabel{AORB=(3;3;V2.MSS, 03700/8)}
@AuxLabel{ASSERT=(7;4;V2.MSS, 00200/19)}
@AuxLabel{CONCLUSION=(6;4;V2.MSS, 00200/16)}
@AuxLabel{DEFN-N-SEM=[2;(Definition 1);V2.MSS, 02900/6]}
@AuxLabel{DEFNN1=[2;(Definition 2);V2.MSS, 03900/6]}
@AuxLabel{FANCYPART=[5;(Definition 3);V2.MSS, 04500/11]}
@AuxLabel{FP-A=[5;(Definition 4);V2.MSS, 05400/11]}
@AuxLabel{G#1=[3;(Conjecture 1);V2.MSS, 01700/8]}
@AuxLabel{G#2=[3;(Conjecture 2);V2.MSS, 02300/9]}
@AuxLabel{G#4=[5;(Conjecture 3);V2.MSS, 00900/12]}
@AuxCitation{INFOTHEORY$=(Gallager 78;;)}
@AuxCitation{LOGICTHEORY$=(Enderton 72;;)}
@AuxLabel{NEEDALL=(5;#4;V2.MSS, 04600/13)}
@AuxCitation{NEWNESS$=(Greiner 83;;)}
@AuxLabel{OBS=(6;4;V2.MSS, 01700/16)}
@AuxLabel{PARTITIONRED=(4;3;V2.MSS, 00200/11)}
@AuxLabel{PROPCASE=(2;3;V2.MSS, 00200/7)}
@AuxLabel{REDUCEINTER=(3;3;V2.MSS, 00200/9)}
@AuxLabel{SYNMETHOD=(3;3;V2.MSS, 00200/8)}
@AuxLabel{THEORYALONE=(1;2;V2.MSS, 00200/5)}
@AuxLabel{USES=(7;4;V2.MSS, 00200/17)}